val fact = fn : int -> int
